Electronic Books

Total Books: 1 - 20 /33
AI 2007: Advances in Artificial Intelligence

The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...

Lire la suite
AI 2007: Advances in Artificial Intelligence

The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...

Lire la suite
Abstraction, Reformulation and Approximation

This volume contains the proceedings of the 6th Symposium on Abstraction, Reformulation and Approximation (SARA 2005). the ...

Lire la suite
Advances in Artificial Intelligence

This book cover agents, bioinformatics, classification, constraint satisfaction, data mining, knowledge representation and ...

Lire la suite
Advances in Artificial Intelligence

This book cover agents, bioinformatics, classification, constraint satisfaction, data mining, knowledge representation and ...

Lire la suite
Advances in Artificial Intelligence (vol. # 3501)

This volume contains the papers accepted and presented at 18th Conference of the Canadian Society for Computational Studies ...

Lire la suite
Advances in Artificial Intelligence - IBERAMIA 2008 : 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings

This book constitutes the refereed proceedings of the 11th Ibero-American Conference on Artificial Intelligence, IBERAMIA ...

Lire la suite
Advances in Artificial Intelligence : 21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008 Windsor, Canada, May 28-30, 2008 Proceedings

This book constitutes the refereed proceedings of the 21st Conference of the Canadian Society for Computational Studies of ...

Lire la suite
Artificial Intelligence and Symbolic Computation

This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic ...

Lire la suite
Artificial Intelligence: Theories, Models and Applications :5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings

This book constitutes the refereed proceedings of the 5th Hellenic Conference on Artificial Intelligence, SETN 2008, held ...

Lire la suite
Autonomy Oriented Computing

Autonomy Oriented Computing explores the important theoretical and practical issues in AOC, by analyzing methodologies and ...

Lire la suite
Complexity of Constraints : An Overview of Current Research Themes

This state-of-the-art survey contains the papers that were invited by the organizers after conclusion of an International ...

Lire la suite
Constraint Satisfaction Techniques for Agent-Based Reasoning

Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can ...

Lire la suite
Distributed Search by Constrained Agents : Algorithms, Performance, Communication

This book presents a comprehensive discussion on the field of distributed constraints, its algorithms and its active research ...

Lire la suite
Engineering Self-Organising Systems (vol. # 3910)

This book contains recent work from a broad range of areas with the common theme of utilising self-organisation productively. ...

Lire la suite
Evolutionary Computation in Combinatorial Optimization (vol. # 3448)

This volume contains the proceedings of EvoCOP 2005, the 5th European Conference on Evolutionary Computation in Combinatorial ...

Lire la suite
Global Optimization and Constraint Satisfaction

Theformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life ...

Lire la suite
Hybrid Metaheuristics

This book constitutes the refereed proceedings of the 4th International Workshop on Hybrid Metaheuristics, HM 2007, held ...

Lire la suite
Integrated Formal Methods

This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...

Lire la suite
Integrated Formal Methods

It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...

Lire la suite
Total Books: 1 - 20 /33